The Free On-line Dictionary of Computing (30 December 2018):

definite clause

    A Horn clause that has exactly one positive
   literal.

   (2000-01-24)